Books by author Andrei Voronkov

Showing 1 – 20 out of 30 results

1. 

   Perspectives of Systems Informatics

   Andrei Voronkov, Irina Virbitskaite | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
2. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Matthias Baaz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
3. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Nikolaj Bj, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
4. 

   Logic Programming and Automated Reasoning

   Andrei Voronkov | Springer, Berlin, 1993

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
5. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Miki Hermann, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   121.41 €

   Buy
6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Nachum Dershowitz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
7. 

   Programming Logics

   Andrei Voronkov, Christoph Weidenbach | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   61.56 €

   Buy
8. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Edmund M. Clarke, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 6 - 8 days

   Language: English

   Binding: Paperback

   54.79 €

   Sale 2 %

   You save 1.55 €

   Buy
9. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Franz Baader, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   In stock at our supplier - Shipping in 6 - 8 days

   Language: English

   Binding: Paperback

   108.87 €

   Sale 2 %

   You save 3.07 €

   Buy
10. 

    Logic Programming and Automated Reasoning

    Andrei Voronkov | Springer, Berlin, 1992

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
11. 

    Transactions and Change in Logic Databases

    Hendrik Decker, Burkhard Freitag, Michael Kifer, Andrei Voronkov | Springer, Berlin, 1998

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
12. 

    Perspectives of Systems Informatics

    Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
13. 

    Logic Programming and Automated Reasoning

    Harald Ganzinger, David McAllester, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
14. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Iliano Cervesato, Helmut Veith, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    121.41 €

    Buy
15. 

    Logic for Programming and Automated Reasoning

    Michel Parigot, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
16. 

    Perspectives of System Informatics

    Alexander K. Petrenko, Andrei Voronkov | Springer International Publishing AG, 2018

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
17. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Robert Nieuwenhuis, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    121.41 €

    Buy
18. 

    Perspectives of System Informatics

    Andrei Voronkov, Irina Virbitskaite | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
19. 

    Rewriting Techniques and Applications

    Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy
20. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Moshe Vardi, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    61.56 €

    Buy

You can choose among many payment option. Find out more